package ast;

public class ForallPredicate extends QualityPredicate {

	public String toString()
	{
		return "forall";
	}
}
